$\forall$$a$,$b$:$\mathbb{Z}$. ($\exists$$x$,$y$:$\mathbb{Z}$. ((($a$ $\ast$ $x$) + ($b$ $\ast$ $y$)) = 1)) $\Rightarrow$ coprime($a$; $b$)